openocd -f spike.cfg

